-
1 deductive equivalence
Большой англо-русский и русско-английский словарь > deductive equivalence
-
2 deductive equivalence
Математика: дедуктивная эквивалентность -
3 deductive equivalence
English-Russian electronics dictionary > deductive equivalence
-
4 deductive equivalence
The New English-Russian Dictionary of Radio-electronics > deductive equivalence
-
5 deductive equivalence
English-Russian scientific dictionary > deductive equivalence
-
6 equivalence
1) адекватность; эквивалентность3) равносильность; равноценность; равнозначность• -
7 equivalence
эквивалентность || эквивалентный- equivalence of categories
- absolute equivalence
- affine equivalence
- algebraic equivalence
- analytic equivalence
- analytical equivalence
- asymptotic equivalence
- asymptotical equivalence
- automata equivalence
- behavioral equivalence
- bilateral equivalence
- canonical equivalence
- cardinality equivalence
- chain equivalence
- complete equivalence
- conditioned equivalence
- conformal equivalence
- deductive equivalence
- empirical equivalence
- formal equivalence
- full equivalence
- fuzzy equivalence
- geometric equivalence
- logical equivalence
- observational equivalence
- one-to-one equivalence
- partial equivalence
- permutation equivalence
- projective equivalence
- quantitative equivalence
- recursive equivalence
- reversible equivalence
- semantic equivalence
- statistic equivalence
- strategic equivalence
- strict equivalence
- syntactic equivalence
- topologic equivalence
- topological equivalence -
8 equivalence
эквивалентность || эквивалентный- affine equivalence
- algebraic equivalence
- analytic equivalence
- analytical equivalence
- asymptotic equivalence
- asymptotical equivalence
- automata equivalence
- behavioral equivalence
- bilateral equivalence
- canonical equivalence
- cardinality equivalence
- chain equivalence
- complete equivalence
- conditioned equivalence
- conformal equivalence
- deductive equivalence
- empirical equivalence
- equivalence of algorithms
- equivalence of categories
- equivalency equivalence
- formal equivalence
- full equivalence
- fuzzy equivalence
- geometric equivalence
- logical equivalence
- observational equivalence
- one-to-one equivalence
- partial equivalence
- permutation equivalence
- projective equivalence
- quantitative equivalence
- recursive equivalence
- reversible equivalence
- semantic equivalence
- statistic equivalence
- strategic equivalence
- strict equivalence
- syntactic equivalence
- topologic equivalence
- topological equivalenceThe New English-Russian Dictionary of Radio-electronics > equivalence
-
9 дедуктивная эквивалентность
Большой англо-русский и русско-английский словарь > дедуктивная эквивалентность
-
10 closure
1) замыкание2) закрытие; закрывание; запирание3) преграда; ограждение4) затвор; перегородка5) строит. неполномерный кирпич7) метал. заделка лётки8) герметизация9) крышка; уплотнение11) геод. невязка•domain of closure — физ. замыкающий домен
theory of closure — матем. теория замыканий
-
11 criterion
-
12 system
1) система; комплекс2) совокупность•- absolutely consistent system - absolutely direct indecomposable system - absolutely free system - absolutely irreducible system - absolutely isolated system - allowable coordinate system - almost linear system - ample linear system - artificial feel system - automatic block system - automatic deicing system - binary relational system - binary-coded decimal system - block tooling system - Cartesian coordinate system - completely controllable system - completely ergodic system - completely hyperbolic system - completely identifiable system - completely integrable system - completely irreducible system - completely regular system - completely stable system - completely stratified system - complex number system - conical coordinate system - derivational formal system - differential equation system - differential selsyn system - digital counting system - digital transmission system - elliptic coordinate system - elliptic cylindrical coordinate system - externally inconsistent system - finite state system - finitely axiomatizable system - finitely presented system - fully characteristic quotient system - fundamental system of solutions - hydraulic lift system - integrated switching system - isomorphically embedded system - kernel normal system - linearly dependent system - linearly independent system - live hydraulic system - locking protection system - meteor-burst communication system - modular programming system - parabolic cylindrical coordinate system - permanent four-wheel drive system - pure independent system - radio telephone system - reactor protection system - real number system - receiver-amplifier crioelectric system - remote-cylinder hydraulic system - semantically consistent system - simply consistent system - simply incomplete system - simply ordered system - spherical coordinate system - strongly multiplicative system - structurally stable system - sufficiently general coordinate system - system of frequency curves - system of rational numbers - time multiplex system - time-division multiplex system - uniformly complete system - univalent system of notation - universal system of notation - weakly closed system - weighted number system
См. также в других словарях:
Equivalence relation — In mathematics, an equivalence relation is a binary relation between two elements of a set which groups them together as being equivalent in some way. Let a , b , and c be arbitrary elements of some set X . Then a b or a ≡ b denotes that a is… … Wikipedia
LOGIQUES NON CLASSIQUES — La logique formelle «classique» (cf. histoire de la LOGIQUE, LOGIQUE MATHÉMATIQUE, théorie de la DÉMONSTRATION) est une théorie de l’inférence valide qui ne prend pas en considération le contenu sémantique de l’argument. Elle est une logique… … Encyclopédie Universelle
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
List of philosophy topics (D-H) — DDaDai Zhen Pierre d Ailly Jean Le Rond d Alembert John Damascene Damascius John of Damascus Peter Damian Danish philosophy Dante Alighieri Arthur Danto Arthur C. Danto Arthur Coleman Danto dao Daodejing Daoism Daoist philosophy Charles Darwin… … Wikipedia
nature, philosophy of — Introduction the discipline that investigates substantive issues regarding the actual features of nature as a reality. The discussion here is divided into two parts: the philosophy of physics and the philosophy of biology. In this… … Universalium
applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium
Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… … Wikipedia
Consistency — For other uses, see Consistency (disambiguation). In logic, a consistent theory is one that does not contain a contradiction.[1] The lack of contradiction can be defined in either semantic or syntactic terms. The semantic definition states that a … Wikipedia
Albert Einstein — Einstein redirects here. For other uses, see Einstein (disambiguation) … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
metaphysics — /met euh fiz iks/, n. (used with a sing. v.) 1. the branch of philosophy that treats of first principles, includes ontology and cosmology, and is intimately connected with epistemology. 2. philosophy, esp. in its more abstruse branches. 3. the… … Universalium